1. Automatic verification methods for finite state systems : Proceedings
Author: J. Sifakis )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
407
